теорема об элиминации сечений

cut elimination theorem

[lang name="Russian"]разрез; сечение — cut set